#include "global.h"
int timestamp;
void timestamp_action()
{
    if(Round !=2) timestamp=getint();// scanf("%*s%d", &timestamp);
    else timestamp++;
    if(Round !=2) printf("TIMESTAMP %d\n", timestamp);

    if(Round !=2) fflush(stdout);
}